Optimal. Leaf size=118 \[ a (5 A b+2 a B) \sqrt {a+b x}+\frac {1}{3} (5 A b+2 a B) (a+b x)^{3/2}+\frac {(5 A b+2 a B) (a+b x)^{5/2}}{5 a}-\frac {A (a+b x)^{7/2}}{a x}-a^{3/2} (5 A b+2 a B) \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 118, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {79, 52, 65, 214}
\begin {gather*} -a^{3/2} (2 a B+5 A b) \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a}}\right )+\frac {(a+b x)^{5/2} (2 a B+5 A b)}{5 a}+\frac {1}{3} (a+b x)^{3/2} (2 a B+5 A b)+a \sqrt {a+b x} (2 a B+5 A b)-\frac {A (a+b x)^{7/2}}{a x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 52
Rule 65
Rule 79
Rule 214
Rubi steps
\begin {align*} \int \frac {(a+b x)^{5/2} (A+B x)}{x^2} \, dx &=-\frac {A (a+b x)^{7/2}}{a x}+\frac {\left (\frac {5 A b}{2}+a B\right ) \int \frac {(a+b x)^{5/2}}{x} \, dx}{a}\\ &=\frac {(5 A b+2 a B) (a+b x)^{5/2}}{5 a}-\frac {A (a+b x)^{7/2}}{a x}+\frac {1}{2} (5 A b+2 a B) \int \frac {(a+b x)^{3/2}}{x} \, dx\\ &=\frac {1}{3} (5 A b+2 a B) (a+b x)^{3/2}+\frac {(5 A b+2 a B) (a+b x)^{5/2}}{5 a}-\frac {A (a+b x)^{7/2}}{a x}+\frac {1}{2} (a (5 A b+2 a B)) \int \frac {\sqrt {a+b x}}{x} \, dx\\ &=a (5 A b+2 a B) \sqrt {a+b x}+\frac {1}{3} (5 A b+2 a B) (a+b x)^{3/2}+\frac {(5 A b+2 a B) (a+b x)^{5/2}}{5 a}-\frac {A (a+b x)^{7/2}}{a x}+\frac {1}{2} \left (a^2 (5 A b+2 a B)\right ) \int \frac {1}{x \sqrt {a+b x}} \, dx\\ &=a (5 A b+2 a B) \sqrt {a+b x}+\frac {1}{3} (5 A b+2 a B) (a+b x)^{3/2}+\frac {(5 A b+2 a B) (a+b x)^{5/2}}{5 a}-\frac {A (a+b x)^{7/2}}{a x}+\frac {\left (a^2 (5 A b+2 a B)\right ) \text {Subst}\left (\int \frac {1}{-\frac {a}{b}+\frac {x^2}{b}} \, dx,x,\sqrt {a+b x}\right )}{b}\\ &=a (5 A b+2 a B) \sqrt {a+b x}+\frac {1}{3} (5 A b+2 a B) (a+b x)^{3/2}+\frac {(5 A b+2 a B) (a+b x)^{5/2}}{5 a}-\frac {A (a+b x)^{7/2}}{a x}-a^{3/2} (5 A b+2 a B) \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.18, size = 91, normalized size = 0.77 \begin {gather*} \frac {\sqrt {a+b x} \left (2 b^2 x^2 (5 A+3 B x)+2 a b x (35 A+11 B x)+a^2 (-15 A+46 B x)\right )}{15 x}-a^{3/2} (5 A b+2 a B) \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.08, size = 104, normalized size = 0.88
method | result | size |
risch | \(-\frac {a^{2} A \sqrt {b x +a}}{x}+\frac {2 B \left (b x +a \right )^{\frac {5}{2}}}{5}+\frac {2 A b \left (b x +a \right )^{\frac {3}{2}}}{3}+\frac {2 B a \left (b x +a \right )^{\frac {3}{2}}}{3}+4 A a b \sqrt {b x +a}+2 a^{2} B \sqrt {b x +a}-a^{\frac {3}{2}} \left (5 A b +2 B a \right ) \arctanh \left (\frac {\sqrt {b x +a}}{\sqrt {a}}\right )\) | \(101\) |
derivativedivides | \(\frac {2 B \left (b x +a \right )^{\frac {5}{2}}}{5}+\frac {2 A b \left (b x +a \right )^{\frac {3}{2}}}{3}+\frac {2 B a \left (b x +a \right )^{\frac {3}{2}}}{3}+4 A a b \sqrt {b x +a}+2 a^{2} B \sqrt {b x +a}-2 a^{2} \left (\frac {A \sqrt {b x +a}}{2 x}+\frac {\left (5 A b +2 B a \right ) \arctanh \left (\frac {\sqrt {b x +a}}{\sqrt {a}}\right )}{2 \sqrt {a}}\right )\) | \(104\) |
default | \(\frac {2 B \left (b x +a \right )^{\frac {5}{2}}}{5}+\frac {2 A b \left (b x +a \right )^{\frac {3}{2}}}{3}+\frac {2 B a \left (b x +a \right )^{\frac {3}{2}}}{3}+4 A a b \sqrt {b x +a}+2 a^{2} B \sqrt {b x +a}-2 a^{2} \left (\frac {A \sqrt {b x +a}}{2 x}+\frac {\left (5 A b +2 B a \right ) \arctanh \left (\frac {\sqrt {b x +a}}{\sqrt {a}}\right )}{2 \sqrt {a}}\right )\) | \(104\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.48, size = 120, normalized size = 1.02 \begin {gather*} \frac {1}{30} \, {\left (\frac {15 \, {\left (2 \, B a + 5 \, A b\right )} a^{\frac {3}{2}} \log \left (\frac {\sqrt {b x + a} - \sqrt {a}}{\sqrt {b x + a} + \sqrt {a}}\right )}{b} - \frac {30 \, \sqrt {b x + a} A a^{2}}{b x} + \frac {4 \, {\left (3 \, {\left (b x + a\right )}^{\frac {5}{2}} B + 5 \, {\left (B a + A b\right )} {\left (b x + a\right )}^{\frac {3}{2}} + 15 \, {\left (B a^{2} + 2 \, A a b\right )} \sqrt {b x + a}\right )}}{b}\right )} b \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.31, size = 205, normalized size = 1.74 \begin {gather*} \left [\frac {15 \, {\left (2 \, B a^{2} + 5 \, A a b\right )} \sqrt {a} x \log \left (\frac {b x - 2 \, \sqrt {b x + a} \sqrt {a} + 2 \, a}{x}\right ) + 2 \, {\left (6 \, B b^{2} x^{3} - 15 \, A a^{2} + 2 \, {\left (11 \, B a b + 5 \, A b^{2}\right )} x^{2} + 2 \, {\left (23 \, B a^{2} + 35 \, A a b\right )} x\right )} \sqrt {b x + a}}{30 \, x}, \frac {15 \, {\left (2 \, B a^{2} + 5 \, A a b\right )} \sqrt {-a} x \arctan \left (\frac {\sqrt {b x + a} \sqrt {-a}}{a}\right ) + {\left (6 \, B b^{2} x^{3} - 15 \, A a^{2} + 2 \, {\left (11 \, B a b + 5 \, A b^{2}\right )} x^{2} + 2 \, {\left (23 \, B a^{2} + 35 \, A a b\right )} x\right )} \sqrt {b x + a}}{15 \, x}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 14.07, size = 267, normalized size = 2.26 \begin {gather*} - \frac {A a^{3} b \sqrt {\frac {1}{a^{3}}} \log {\left (- a^{2} \sqrt {\frac {1}{a^{3}}} + \sqrt {a + b x} \right )}}{2} + \frac {A a^{3} b \sqrt {\frac {1}{a^{3}}} \log {\left (a^{2} \sqrt {\frac {1}{a^{3}}} + \sqrt {a + b x} \right )}}{2} + \frac {6 A a^{2} b \operatorname {atan}{\left (\frac {\sqrt {a + b x}}{\sqrt {- a}} \right )}}{\sqrt {- a}} - \frac {A a^{2} \sqrt {a + b x}}{x} + 4 A a b \sqrt {a + b x} + A b^{2} \left (\begin {cases} \sqrt {a} x & \text {for}\: b = 0 \\\frac {2 \left (a + b x\right )^{\frac {3}{2}}}{3 b} & \text {otherwise} \end {cases}\right ) + \frac {2 B a^{3} \operatorname {atan}{\left (\frac {\sqrt {a + b x}}{\sqrt {- a}} \right )}}{\sqrt {- a}} + 2 B a^{2} \sqrt {a + b x} + 2 B a b \left (\begin {cases} \sqrt {a} x & \text {for}\: b = 0 \\\frac {2 \left (a + b x\right )^{\frac {3}{2}}}{3 b} & \text {otherwise} \end {cases}\right ) - \frac {2 B a \left (a + b x\right )^{\frac {3}{2}}}{3} + \frac {2 B \left (a + b x\right )^{\frac {5}{2}}}{5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.57, size = 125, normalized size = 1.06 \begin {gather*} \frac {6 \, {\left (b x + a\right )}^{\frac {5}{2}} B b + 10 \, {\left (b x + a\right )}^{\frac {3}{2}} B a b + 30 \, \sqrt {b x + a} B a^{2} b + 10 \, {\left (b x + a\right )}^{\frac {3}{2}} A b^{2} + 60 \, \sqrt {b x + a} A a b^{2} - \frac {15 \, \sqrt {b x + a} A a^{2} b}{x} + \frac {15 \, {\left (2 \, B a^{3} b + 5 \, A a^{2} b^{2}\right )} \arctan \left (\frac {\sqrt {b x + a}}{\sqrt {-a}}\right )}{\sqrt {-a}}}{15 \, b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.11, size = 100, normalized size = 0.85 \begin {gather*} \left (\frac {2\,A\,b}{3}+\frac {2\,B\,a}{3}\right )\,{\left (a+b\,x\right )}^{3/2}+\left (2\,a\,\left (2\,A\,b+2\,B\,a\right )-2\,B\,a^2\right )\,\sqrt {a+b\,x}+\frac {2\,B\,{\left (a+b\,x\right )}^{5/2}}{5}-\frac {A\,a^2\,\sqrt {a+b\,x}}{x}+a^{3/2}\,\mathrm {atan}\left (\frac {\sqrt {a+b\,x}\,1{}\mathrm {i}}{\sqrt {a}}\right )\,\left (5\,A\,b+2\,B\,a\right )\,1{}\mathrm {i} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________